- 双语例句 更多例句
雅克·欣提卡在诠释笛卡尔的“我思故我在”命题时创造了一种新的范式&践言性诠释。
互联网摘选
当解释的论域是一个固定大小的有限集合时,一阶逻辑公式的可满足性问题可以等价地归约为SAT问题。
互联网摘选
- 相关词组
- gland of Brunner布林内氏腺,十二指肠腺
- let slip the chance of当面错过
- standard of value价值标准
- law of small numbers小数定律
- make light of travelling from afar不远千里
- standard heat of combustion标准燃烧热
- man of many words爱说话的人
- standard money unit of account标准货币记帐单位
- The storm sprang up out of the blue晴天霹雳
- statement of changes in financial position资金变动情况表,财务状况变动表
- speed of welding travel焊接速度
- standard method of measurement标准测量方法
- standard of no responsibility免责的标准
- type of higher nervous activity高级神经活动型
- standard of behavior行为准则
- duration of breaker contact断电器接触时间
- subject of claim要求赔偿的主因
- duration of braking制动时间
- maintain the achievements of one's predecessors守成
- glomeruli of olfactory nerves嗅神经小球
- 今日热词
- 热门搜索
- bright adj. 明亮的,鲜亮的;聪明的;辉煌的;活泼的,机灵的,乖巧的;adv. 明亮地,光明地,光亮地;欢快地,愉快地;
- should 应该;将会;可能;本应;
- six n.六;六个;六岁;六点;num.六;六个;
- pineapple n.菠萝;凤梨;〈俚〉手榴弹;
- adobe n. 土砖;(建筑用)黏土;黏土坯;土砖建筑物;风干土坯;风干砖坯;(制风干砖用的)灰质粘土;adj. 用土坯建造的;
- shadow n.影子;阴影,背光处;少许;(坏)影响;黑眼圈;形影不离的人;虚幻的事物;v.跟踪,尾随;在…上投下阴影;
- packet n.小包;信息包;邮船;大笔款项;vt.包装,打包;用邮船运送;
- nowhere 无人
- month n.月,月份;一个月的时间;
- beard n.胡须,胡子;
- Rotten Tomatoes 烂番茄;
- coach n.教练;辅导教师;长途汽车;(火车)旅客车厢;四轮大马车;经济舱;v.当教练;训练;指导;辅导;给…补习;

湘公网安备43011202000971号